Re-examining Russell’s Paralysis: Ramified Type-theory and Wittgenstein’s Objection to Russell’s Theory of Judgment
نویسنده
چکیده
It is well known that Russell abandoned his multiple-relation theory of judgment, which provided the philosophical foundations for PM ’s ramified typetheory, in response to criticisms by Wittgenstein. Their exact nature has remained obscure. An influential interpretation, put forth by Sommerville and Griffin, is that Wittgenstein showed that the theory must appeal to the very hierarchy it is intended to generate and thus collapses into circularity. I argue that this rests on a mistaken interpretation of type-theory and suggest an alternative one to explain Russell’s reaction.
منابع مشابه
Understanding Russell’s Response to Newman
The revival of Newman’s (1928) objection to Russell’s Causal Theory of Perception by Demopoulous & Friedman (1985) has led to the widespread opinion that Russell’s view was an early form of Epistemic Structural Realism, against which Newman had provided a devastating objection. Russell’s letter to Newman soon after is taken to represent his complete capitulation, where, in a “classic Homer Simp...
متن کاملConstructive Examination of a Russell-style Ramified Type Theory
In this paper we examine the natural interpretation of a ramified type hierarchy into Martin-Löf type theory with an infinite sequence of universes. It is shown that under this predicative interpretation some useful special cases of Russell’s reducibility axiom are valid, namely functional reducibility. This is sufficient to make the type hierarchy usable for development of constructive mathema...
متن کاملInquiry into RDF and OWL Semantics
The purpose of this paper is to present the higher order formalization of RDF and OWL with setting up ontological meta-modeling criteria through the discussion of Russell’s Ramified Type Theory, which was developed in order to solve Russell Paradox appeared at the last stage in the history of set theory. This paper briefly summarize some of set theories, and reviews the RDF and OWL Semantics wi...
متن کاملGödel vis-à-vis Russell: Logic and Set Theory to Philosophy
Gödel’s work from the beginning to his first substantive explorations in philosophy would to a significant extent be contextualized by, reactive to, and reflective of, Russell’s. Russell was the towering figure who set the stage for analytic philosophy in the first two decades of the 20th Century; Gödel insisted that his mathematical work was substantively motivated by his own philosophical out...
متن کاملThe Cambridge companion to
Cambridge University Press, Cambridge, UK and New York, US, xvii + 550 pp.— therein: Ivor Grattan-Guinness. Mathematics in and behind Russell’s logicism, and its reception. Pp. 51–83. Richard Cartwright. Russell and Moore: 1895–1905. Pp. 108–127. Peter Hylton. The theory of descriptions. Pp. 202–240. Martin Godwyn and Andrew D. Irvine. Bertrand Russell’s logicism. Pp. 171–201. Michael Beaney. R...
متن کامل